# -*- mode: snippet -*-
# expand-env: nil
# --

$>    begin
$>        ?
$>    ≡⟨ ? ⟩
$>        ?
$>    ∎
